extern void acpi_init();
extern void device_init();
extern void vgacon_init();
extern void serial_init();
extern void pci_init();

extern void memory_init();
extern void mapping_init();
extern void arena_init();

extern void fpu_sse_init();
extern void global_init();
extern void interrupt_init();
extern void tss_init();
extern void tls_init();

extern void clock_init();
extern void time_init();
extern void task_init();
extern void syscall_init();
extern void user_init();

void kernel_main()
{
    global_init();
    device_init();
    vgacon_init();
    interrupt_init();
    serial_init();

    memory_init();
    mapping_init();
    arena_init();

    acpi_init();
    pci_init();
    fpu_sse_init();
    clock_init();
    tss_init();
    tls_init();

    syscall_init();
    user_init();
    task_init();
    time_init();
}